Merge pull request #1811 from sandrine-bailleux-arm/sb/doc-fixes
authorAntonio Niño Díaz <[email protected]>
Mon, 11 Feb 2019 09:58:34 +0000 (09:58 +0000)
committerGitHub <[email protected]>
Mon, 11 Feb 2019 09:58:34 +0000 (09:58 +0000)
Miscellaneous documentation fixes


Trivial merge